4837e93b0c73ff77b7c57471cc947a62e67ef1b8,src/test/java/com/jetbrains/jetpad/vclang/term/expr/visitor/NormalizationTest.java,NormalizationTest,NormalizationTest,#,51
Before Change
DependentLink xMul = param("x", Nat());
DependentLink yMul = param("y", Nat());
mul = new FunctionDefinition(null, params(xMul, yMul), Nat(), null);
DependentLink xMulMinusOne = param("x'", Nat());
ElimTreeNode mulElimTree = top(xMul, branch(xMul, tail(yMul),
clause(Prelude.ZERO, EmptyDependentLink.getInstance(), Zero()),
After Change
DependentLink xMul = param("x", Nat());
DependentLink yMul = param("y", Nat());
mul = new FunctionDefinition(null);
mul.setParameters(params(xMul, yMul));
mul.setResultType(Nat());
DependentLink xMulMinusOne = param("x'", Nat());
ElimTreeNode mulElimTree = top(xMul, branch(xMul, tail(yMul),
clause(Prelude.ZERO, EmptyDependentLink.getInstance(), Zero()),